David Basin: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (26)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 996 KB

0 / 0

english, 2005

2

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 12.00 MB

0 / 0

english, 2004

3

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 3.51 MB

0 / 0

english, 1994

4

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 2.93 MB

0 / 0

english, 2003

5

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 4.40 MB

0 / 0

english, 2004

6

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

DJVU, 9.11 MB

0 / 0

english, 2004

7

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.39 MB

0 / 0

english, 2010

8

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 10.61 MB

0 / 0

english, 2009

9

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 8.67 MB

0 / 0

english, 2010

10

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 5.05 MB

0 / 0

english, 2009

11

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 8.73 MB

0 / 0

english, 2010

12

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.47 MB

0 / 0

english, 2010

13

信息安全实用教程

信息安全实用教程

北京：国防工业出版社

（瑞士）大卫·贝森（DAVID BASIN），帕特里克·沙勒（PATRICK SCHALLER），迈克尔·施莱普菲儿著；张涛，王金双，赵敏译, 贝森 (Basin, David)

Տարի:

2015

Լեզու:

Chinese

Ֆայլ:

PDF, 33.86 MB

0 / 0

Chinese, 2015

14

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Տարի:

2022

Լեզու:

english

Ֆայլ:

PDF, 10.40 MB

4.0 / 5.0

english, 2022

15

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 1.43 MB

0 / 0

english, 2011

16

Labelled Deduction

Labelled Deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 9.36 MB

0 / 0

english, 2000

17

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 1.58 MB

0 / 4.5

english, 2011

18

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Տարի:

1993

Լեզու:

english

Ֆայլ:

PDF, 10.01 MB

0 / 0

english, 1993

19

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 1.79 MB

0 / 0

english, 2003

20

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Rémy Chrétien, Stéphanie Delaune (auth.), David Basin, John C. Mitchell (eds.)

Տարի:

2013

Լեզու:

english

Ֆայլ:

PDF, 3.46 MB

0 / 0

english, 2013

21

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

PDF, 6.81 MB

0 / 0

english, 1994

22

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 5.50 MB

0 / 0

english, 2009

23

Labelled deduction

Labelled deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

DJVU, 2.27 MB

0 / 0

english, 2000

24

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 5.45 MB

0 / 0

english, 2009

25

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 4.74 MB

0 / 0

english, 2009

26

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Տարի:

2022

Լեզու:

english

Ֆայլ:

PDF, 10.40 MB

0 / 5.0

english, 2022